“유한 생성 아벨 군의 기본 정리”